Influenza Virus Not cRAFTy Enough to Dodge Viperin

Not Enough Points Is Enough

Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising from) any reflexive object in a cartesian closed category (ccc, for brevity). These notions are tightly linked in the sense that: given a λ-model A, one may define a ccc in which A (the carrier set) is a reflexive object; conve...

When Enough Is Not Enough

People are often exposed to more information than they can actually remember. Despite this frequent form of information overload, little is known about how much information people choose to remember. Using a novel “stop” paradigm, the current research examined whether and how people choose to stop receiving new—possibly overwhelming—information with the intent to maximize memory performance. Pa...

It's not enough to be right.

Micro Law L ast issue's Micro Law column (May/June 1997) addressed a massive lawsuit by six prominent content providers against a Web entrepreneur whom they accused of pirating their content by " framing " it. The Washington Post, Los Angeles Times, Wall Street Journal (Dow Jones), CNN, Reuters, and Time Warner all joined to sue Total News for copyright infringement and sundry other alleged wro...

2009 H1N1 Influenza Virus Seroepidemiology

Correctness is not enough

The usual aim of spreadsheet audit is to verify correctness. There are two problems with this: first, it is often difficult to tell whether the spreadsheets in question are correct, and second, even if they are, they may still give the wrong results. These problems are explained in this paper, which presents the key criteria for judging a spreadsheet and discusses how those criteria can be achi...